decision verification
英 [dɪˈsɪʒn ˌvɛrɪfɪˈkeɪʃən]
美 [dɪˈsɪʒn ˌvɛrəfəˈkeɪʃən]
网络 判定验证
双语例句
- He says the US government is expected to make a decision on the terrorism list in the near future, and that discussions on a verification protocol are still under way.
柳明桓说，美国政府预计在不久的将来会决定是否把北韩从涉嫌支持恐怖主义国家的名单上除名，而核实核清单的讨论仍在进行之中。 - 1 Decision tables offer a simple, visual aid, and they can be applied in knowledge-based systems to perform verification processes efficiently.
1决策表提供了一个简单的，可视化的帮助，它可以在知识库系统中被使用，来高效的执行验证过程。 - Decision diagram model is a utility to represent data dependence between signals in VLSI designs, and is widely used in VLSI design verification.
决策图模型描述了VLSI设计信号间的数据依赖关系，在VLSI设计验证中有广泛的应用。 - TTS 2 is a distributed processing system for the software tests it can applied to the C 2 embedded tactical decision aided software for design, programming, test, verification and maintenance in all life cycle.
TTS－Ⅱ是一个基于Novel网的分布式处理系统，它能够一体化地完成舰用C2系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。 - Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。 - This paper understood the fact that the standard pattern to a pattern to be verified is known, and proposed a dictionary-driven architecture and a multilevel decision making strategy for automatic pattern verification.
针对汉字相关模式验证问题，抓住标准模式是已知的这个特点，提出了建立汉字相关模式验证系统的字典驱动结构与多级判决策略。 - The work of this paper focuses on the method of speaker recognition, mainly researching on the vector quantization algorithm using MFCC features and the decision in speaker verification.
本论文对说话人识别算法进行了研究，主要对基于Mel倒谱系数的矢量量化方法以及说话人确认阈值的估计算法进行了深入的探讨； - Multi-Classifier Decision Fusion Based Seal Imprint Verification Approach
基于多分类器决策融合的印鉴真伪鉴别方法 - Fusion of Face and Palmprint on Decision Level for Identity Verification
人脸与掌纹特征在决策层上的融合 - OBDD ( Ordered Binary Decision Diagram) is widely used in formal verification and VLSI automatic test pattern generation ( ATPG).
编序的二元判决图（OBDD）在电路测试和逻辑验证等方面具有广泛的应用。 - It is valuable for the reliability index decision and verification method of new air defense missiles.
所述内容对新型防空导弹可靠性指标的确定和验证工作具有一定的参考价值。 - A lightweight decision procedure is also integrated to efficiently decide the formulas generated during the verification of C programs.
切片执行还集成了一种轻量级判定过程，用于对C程序验证过程中的验证公式进行高效判定。 - Different levels of the feasibility of multi-objective decision rules have been verification of the actual samples, which has actual significant guidance to multi-objective integrated optimization for reverse logistics.
不同层次的多目标决策规则的可行性得到了实际样本的验证，这对于电子产品逆向物流的多目标综合优化管理具有实际的指导意义。 - The paper discusses the influence of partitioning with the x-direction speed instead of the speed of signature track to verify, and establishing double decision boundary to verify to the verification results, and points out that the proposed algorithm is optimal.
本文讨论了用x方向速度代替签名轨迹的速度进行验证和建立双重判别边界进行验证对验证结果的影响，指出本文方法最优。 - The results showed that: the different number of balls basically had no difference to the decision preferences, variability theory and heuristic adjustment theory has been only a part of the verification.
结果发现：球数的不同对决策的偏好基本上没有影响，变异性理论和启发式调整理论仅得到了部分的验证。 - The lightweight decision procedure for the verification formulas of slicing execution.
提出了面向切片执行验证公式的轻量级判定过程。 - The decision tree was applied on the real-world images to verification, and good results were achieved.
所得决策树在实际尿沉渣图像集上进行了验证性应用，取得了较好的效果。